Implementation of novel methods of global and nonsmooth optimization : GANSO programming library

We discuss the implementation of a number of modern methods of global and nonsmooth continuous optimization, based on the ideas of Rubinov, in a programming library GANSO. GANSO implements the derivative-free bundle method, the extended cutting angle method, dynamical system-based optimization and their various combinations and heuristics. We outline the main ideas behind each method, and report on the interfacing with Matlab and Maple packages. <br /

Extragradient method with feasible inexact projection to variational inequality problem

The variational inequality problem in finite-dimensional Euclidean space is addressed in this paper, and two inexact variants of the extragradient method are proposed to solve it. Instead of computing exact projections on the constraint set, as in previous versions extragradient method, the proposed methods compute feasible inexact projections on the constraint set using a relative error criterion. The first version of the proposed method provided is a counterpart to the classic form of the extragradient method with constant steps. In order to establish its convergence we need to assume that the operator is pseudo-monotone and Lipschitz continuous, as in the standard approach. For the second version, instead of a fixed step size, the method presented finds a suitable step size in each iteration by performing a line search. Like the classical extragradient method, the proposed method does just two projections into the feasible set in each iteration. A full convergence analysis is provided, with no Lipschitz continuity assumption of the operator defining the variational inequality problem

Classical Loop Actions of Gauge Theories

Since the first attempts to quantize Gauge Theories and Gravity in the loop representation, the problem of the determination of the corresponding classical actions has been raised. Here we propose a general procedure to determine these actions and we explicitly apply it in the case of electromagnetism. Going to the lattice we show that the electromagnetic action in terms of loops is equivalent to the Wilson action, allowing to do Montecarlo calculations in a gauge invariant way. In the continuum these actions need to be regularized and they are the natural candidates to describe the theory in a ``confining phase''.Comment: LaTeX 14 page

Detecting K-complexes for sleep stage identification using nonsmooth optimisation

The process of sleep stage identification is a labour-intensive task that involves the specialized interpretation of the polysomnographic signals captured from a patient&rsquo;s overnight sleep session. Automating this task has proven to be challenging for data mining algorithms because of noise, complexity and the extreme size of data. In this paper we apply nonsmooth optimization to extract key features that lead to better accuracy. We develop a specific procedure for identifying K-complexes, a special type of brain wave crucial for distinguishing sleep stages. The procedure contains two steps. We first extract &ldquo;easily classified&rdquo; K-complexes, and then apply nonsmooth optimization methods to extract features from the remaining data and refine the results from the first step. Numerical experiments show that this procedure is efficient for detecting K-complexes. It is also found that most classification methods perform significantly better on the extracted features

Coverage in WLAN: Optimization Model and Algorithm

When designing wireless communication systems, it is very important to know the optimum numbers of access points (APs) in order to provide a reliable design. In this paper we describe a mathematical model developed for finding the optimal number and location of APs. A new Global Optimization Algorithm (AGOP) is used to solve the problem. Results obtained demonstrate that the model and software are able to solve optimal coverage problems for design areas with different types of obstacles and number of users

Holographic Formulation of Quantum Supergravity

We show that ${\cal N}=1$ supergravity with a cosmological constant can be expressed as constrained topological field theory based on the supergroup $Osp(1|4)$. The theory is then extended to include timelike boundaries with finite spatial area. Consistent boundary conditions are found which induce a boundary theory based on a supersymmetric Chern-Simons theory. The boundary state space is constructed from states of the boundary supersymmetric Chern-Simons theory on the punctured two sphere and naturally satisfies the Bekenstein bound, where area is measured by the area operator of quantum supergravity.Comment: 30 pages, no figur

Compiling and using input-output frameworks through collaborative virtual laboratories

Compiling, deploying and utilising large-scale databases that integrate environmental and economic data have traditionally been labour- and cost-intensive processes, hindered by the large amount of disparate and misaligned data that must be collected and harmonised. The Australian Industrial Ecology Virtual Laboratory (IELab) is a novel, collaborative approach to compiling large-scale environmentally extended multi-region input-output (MRIO) models.The utility of the IELab product is greatly enhanced by avoiding the need to lock in an MRIO structure at the time the MRIO system is developed. The IELab advances the idea of the "mother-daughter" construction principle, whereby a regionally and sectorally very detailed "mother" table is set up, from which "daughter" tables are derived to suit specific research questions. By introducing a third tier - the "root classification" - IELab users are able to define their own mother-MRIO configuration, at no additional cost in terms of data handling. Customised mother-MRIOs can then be built, which maximise disaggregation in aspects that are useful to a family of research questions.The second innovation in the IELab system is to provide a highly automated collaborative research platform in a cloud-computing environment, greatly expediting workflows and making these computational benefits accessible to all users.Combining these two aspects realises many benefits. The collaborative nature of the IELab development project allows significant savings in resources. Timely deployment is possible by coupling automation procedures with the comprehensive input from multiple teams. User-defined MRIO tables, coupled with high performance computing, mean that MRIO analysis will be useful and accessible for a great many more research applications than would otherwise be possible. By ensuring that a common set of analytical tools such as for hybrid life-cycle assessment is adopted, the IELab will facilitate the harmonisation of fragmented, dispersed and misaligned raw data for the benefit of all interested parties. © 2014 Elsevier B.V

Quantum geometry with intrinsic local causality

The space of states and operators for a large class of background independent theories of quantum spacetime dynamics is defined. The SU(2) spin networks of quantum general relativity are replaced by labelled compact two-dimensional surfaces. The space of states of the theory is the direct sum of the spaces of invariant tensors of a quantum group G_q over all compact (finite genus) oriented 2-surfaces. The dynamics is background independent and locally causal. The dynamics constructs histories with discrete features of spacetime geometry such as causal structure and multifingered time. For SU(2) the theory satisfies the Bekenstein bound and the holographic hypothesis is recast in this formalism.Comment: Latex 33 pages, 7 Figure, epsfi